<HTML><HEAD><TITLE>library(ic_global_gac)</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>library(ic_global_gac)</H1>
Library of global constraints which achieve generalized arc consistency
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><A HREF="alldifferent-1.html"><STRONG>alldifferent(+L)</STRONG></A></DT>
<DD>GAC version of alldifferent</DD>
<DT><A HREF="matching-2.html"><STRONG>matching(+L, -K)</STRONG></A></DT>
<DD>Get a matching between a list of domain variables and their possible values</DD>
</DL>
</BLOCKQUOTE>
<H2>Other Exports</H2>
<BLOCKQUOTE><DL>
<DT><STRONG>export portray(update_alldifferent / 4, tr_global_gac_out / 2, [goal])</STRONG></DT><DD></DD>
</DL></BLOCKQUOTE>
<H2>Description</H2>
This library is intended for global constraints for which GAC (generalized arc consistency, also called hyper arc consistency, or domain consistency) is maintained. The first example is a version of the alldifferent constraint which performs more pruning than the bound consistent version in the ic_global library.
<H2>About</H2><UL COMPACT>
<LI><STRONG>Status: </STRONG>prototype
<LI><STRONG>Author: </STRONG>H. Simonis, 4C, University College Cork
<LI><STRONG>Copyright &copy; </STRONG>2008, H. Simonis, 4C, University College Cork
<LI><STRONG>Date: </STRONG>2008
</UL>
<HR>Generated from ic_global_gac.eci on 2009-05-27 01:25
</BODY></HTML>
